Partiality I: Embedding relation algebras
نویسندگان
چکیده
منابع مشابه
Relation algebras form cylindric algebras, I
We characterise the class SRaCAn of subalgebras of relation algebra reducts of ndimensional cylindric algebras (for finite n ≥ 5) by the notion of a ‘hyper-basis’, analogous to the cylindric basis of Maddux, and by relativised representations. A corollary is that SRaCAn = SRa(CAn ∩ Crsn) = SRa(CAn ∩ Gn). We outline a game-theoretic approximation to the existence of a representation, and how to ...
متن کاملRelation Algebras from Cylindric Algebras, I
We characterise the class SRaCA n of subalgebras of relation algebra reducts of n-dimensional cylindric algebras (for nite n 5) by the notion of a `hyper-basis', analogous to the cylindric basis of Maddux, and by relativised representations. A corollary is that SRaCA n = SRa(CA n \ Crs n) = SRa(CA n \ G n). We outline a game-theoretic approximation to the existence of a representation, and how ...
متن کاملLeft-distributive Embedding Algebras
We consider algebras with one binary operation and one generator, satisfying the left distributive law a (b c) = (a b) (a c); such algebras have been shown to have surprising connections with set-theoretic large cardinals and with braid groups. One can construct a sequence of nite left-distributive algebras An, and then take a limit to get an in nite left-distributive algebra A1 on one generato...
متن کاملFinite Left{distributive Algebras and Embedding Algebras
We consider algebras with one binary operation and one generator (monogenic) and satisfying the left distributive law a (b c) = (a b) (a c). One can de ne a sequence of nite left-distributive algebras An, and then take a limit to get an in nite monogenic left-distributive algebra A1. Results of Laver and Steel assuming a strong large cardinal axiom imply that A1 is free; it is open whether the ...
متن کاملEmbedding problems of division algebras
A finite group G is called admissible over a given field if there exists a central division algebra that contains a G-Galois field extension as a maximal subfield. We give a definition of embedding problems of division algebras that extends both the notion of embedding problems of fields as in classical Galois theory, and the question which finite groups are admissible over a field. In a recent...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic and Algebraic Programming
سال: 2006
ISSN: 1567-8326
DOI: 10.1016/j.jlap.2005.04.002